Ivančić, Franjo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Feedback-directed unit test generation for C/C++ using concolic execution

Garg, Pranav, Ivancic, Franjo, Balakrishnan, Gogul, Maeda, Naoto, Gupta, Aarti

Year:

2013

Language:

english

File:

PDF, 355 KB

english, 2013

2

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - FUDGE: fuzz driver generation at scale

Babić, Domagoj, Bucur, Stefan, Chen, Yaohui, Ivančić, Franjo, King, Tim, Kusano, Markus, Lemieux, Caroline, Szekeres, László, Wang, Wei

Year:

2019

Language:

english

File:

PDF, 909 KB

english, 2019

3

Efficient estimation of subdiffusive optical parameters in real time from spatially resolved reflectance by artificial neural networks

Ivančič, Matic, Naglič, Peter, Pernuš, Franjo, Likar, Boštjan, Bürmen, Miran

Journal:

Year:

2018

Language:

english

File:

PDF, 1.47 MB

english, 2018

4

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Efficient decision procedure for non-linear arithmetic constraints using CORDIC

Ganai, Malay K., Ivancic, Franjo

Year:

2009

Language:

english

File:

PDF, 240 KB

english, 2009

5

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - DC2: A framework for scalable, scope-bounded software verification

Ivancic, Franjo, Balakrishnan, Gogul, Gupta, Aarti, Sankaranarayanan, Sriram, Maeda, Naoto, Tokuoka, Hiroki, Imoto, Takashi, Miyazaki, Yoshiaki

Year:

2011

Language:

english

File:

PDF, 415 KB

english, 2011

6

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Replay without recording of production bugs for service oriented applications

Arora, Nipun, Bell, Jonathan, Ivančić, Franjo, Kaiser, Gail, Ray, Baishakhi

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

7

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Abbas, Houssam, Fainekos, Georgios, Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 811 KB

english, 2013

8

Modeling and analytics for cyber-physical systems in the age of big data

Sharma, Abhishek B., Ivančić, Franjo, Niculescu-Mizil, Alexandru, Chen, Haifeng, Jiang, Guofei

Journal:

ACM SIGMETRICS Performance Evaluation Review

Year:

2014

Language:

english

File:

PDF, 679 KB

english, 2014

9

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - Generating embedded software from hierarchical hybrid models

Alur, Rajeev, Ivancic, Franjo, Kim, Jesung, Lee, Insup, Sokolsky, Oleg

Year:

2003

Language:

english

File:

PDF, 348 KB

english, 2003

10

Program analysis via satisfiability modulo path programs

Harris, William R., Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 525 KB

english, 2010

11

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities

Chang, Richard, Jiang, Guofei, Ivancic, Franjo, Sankaranarayanan, Sriram, Shmatikov, Vitaly

Year:

2009

Language:

english

File:

PDF, 515 KB

english, 2009

12

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Numerical stability analysis of floating-point computations using software model checking

Ivancic, Franjo, Ganai, Malay K., Sankaranarayanan, Sriram, Gupta, Aarti

Year:

2010

Language:

english

File:

PDF, 331 KB

english, 2010

13

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Robustness of Model-Based Simulations

Fainekos, Georgios, Sankaranarayanan, Sriram, Ivancic, Franjo, Gupta, Aarti

Year:

2009

Language:

english

File:

PDF, 406 KB

english, 2009

14

Predicate abstraction for reachability analysis of hybrid systems

Alur, Rajeev, Dang, Thao, Ivančić, Franjo

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2006

Language:

english

File:

PDF, 649 KB

english, 2006

15

SPIE Proceedings [SPIE SPIE BiOS - San Francisco, California, United States (Saturday 13 February 2016)] Optical Interactions with Tissue and Cells XXVII - Extraction of optical properties from hyperspectral images by Monte Carlo light propagation model

Jansen, E. Duco, Ivančič, Matic, Naglič, Peter, Pernuš, Franjo, Likar, Boštjan, Bürmen, Miran

Year:

2016

Language:

english

File:

PDF, 774 KB

english, 2016

16

Generating embedded software from hierarchical hybrid models

Alur, Rajeev, Ivancic, Franjo, Kim, Jesung, Lee, Insup, Sokolsky, Oleg

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 348 KB

english, 2003

17

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - ARC++: effective typestate and lifetime dependency analysis

Xiao, Xusheng, Balakrishnan, Gogul, Ivančić, Franjo, Maeda, Naoto, Gupta, Aarti, Chhetri, Deepak

Year:

2014

Language:

english

File:

PDF, 472 KB

english, 2014

18

SPIE Proceedings [SPIE SPIE BiOS - San Francisco, California, United States (Saturday 28 January 2017)] Optical Interactions with Tissue and Cells XXVIII - The role of numerical aperture in efficient estimation of spatially resolved reflectance by a Monte Carlo light propagation model

Jansen, E. Duco, Beier, Hope T., Ivančič, Matic, Naglič, Peter, Likar, Boštjan, Pernuš, Franjo, Bürmen, Miran

Year:

2017

Language:

english

File:

PDF, 342 KB

english, 2017

19

Efficient SAT-based bounded model checking for software verification

Franjo Ivančić, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.16 MB

english, 2008

20

Virtually increased acceptance angle for efficient estimation of spatially resolved reflectance in the subdiffusive regime: a Monte Carlo study

Ivančič, Matic, Naglič, Peter, Pernuš, Franjo, Likar, Boštjan, Bürmen, Miran

Journal:

Biomedical Optics Express

Year:

2017

Language:

english

File:

PDF, 3.45 MB

english, 2017

21

[ACM Press the third workshop - Chicago, Illinois, USA (2014.08.22-2014.08.22)] Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14 - Generating consistent updates for software-defined network configurations

Yuan, Yifei, Ivančić, Franjo, Lumezanu, Cristian, Zhang, Shuyuan, Gupta, Aarti

Year:

2014

Language:

english

File:

PDF, 426 KB

english, 2014

22

[IEEE 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Atlanta, GA, USA (2014.6.23-2014.6.26)] 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - An Adaptable Rule Placement for Software-Defined Networks

Zhang, Shuyuan, Ivancic, Franjo, Lumezanu, Cristian, Yuan, Yifei, Gupta, Aarti, Malik, Sharad

Year:

2014

Language:

english

File:

PDF, 714 KB

english, 2014

23

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Mining library specifications using inductive logic programming

Sankaranarayanan, Sriram, Ivanči, Franjo, Gupta, Aarti

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

24

[ACM Press the twentieth annual symposium - Munich, Germany (2008.06.14-2008.06.16)] Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures - SPAA '08 - RaceTM

Gupta, Shantanu, Sultan, Florin, Cadambi, Srihari, Ivancic, Franjo, Roetteler, Martin

Year:

2008

Language:

english

File:

PDF, 172 KB

english, 2008

25

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Program analysis via satisfiability modulo path programs

Harris, William R., Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti

Year:

2010

Language:

english

File:

PDF, 525 KB

english, 2010

26

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Dynamic inference of likely data preconditions over predicates by tree learning

Sankaranarayanan, Sriram, Chaudhuri, Swarat, Ivančić, Franjo, Gupta, Aarti

Year:

2008

Language:

english

File:

PDF, 448 KB

english, 2008

27

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Induction in CEGAR for Detecting Counterexamples

Wang, Chao, Gupta, Aarti, Ivancic, Franjo

Year:

2007

Language:

english

File:

PDF, 284 KB

english, 2007

28

[IEEE 21st International Conference on VLSI Design (VLSID 2008) - Hyderabad, India (2008.01.4-2008.01.8)] 21st International Conference on VLSI Design (VLSID 2008) - Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture

Simsir, Muzaffer O., Cadambi, Srihari, Ivancic, Franjo, Roetteler, Martin, Jha, Niraj K.

Year:

2008

Language:

english

File:

PDF, 660 KB

english, 2008

29

Disjunctive image computation for software verification

Wang, Chao, Yang, Zijiang, Ivančić, Franjo, Gupta, Aarti

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2007

Language:

english

File:

PDF, 370 KB

english, 2007

30

[IEEE 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) - SunDew: Systematic Automated Security Testing

Ivancic, Franjo

Year:

2020

File:

PDF, 72 KB

2020

31

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - State space exploration using feedback constraint generation and Monte-Carlo sampling

Sankaranarayanan, Sriram, Chang, Richard M., Jiang, Guofei, Ivancic, Franjo

Year:

2007

Language:

english

File:

PDF, 263 KB

english, 2007

32

[IEEE Distributed Processing (IPDPS) - Rome, Italy (2009.05.23-2009.05.29)] 2009 IEEE International Symposium on Parallel & Distributed Processing - Using hardware transactional memory for data race detection

Gupta, Shantanu, Sultan, Florin, Cadambi, Srihari, Ivancic, Franjo, Rotteler, Martin

Year:

2009

Language:

english

File:

PDF, 189 KB

english, 2009

33

Counterexample-guided predicate abstraction of hybrid systems

Rajeev Alur, Thao Dang, Franjo Ivančić

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 411 KB

english, 2006

34

Editorial

Fainekos, Georgios, Goubault, Eric, Ivančić, Franjo, Sankaranarayanan, Sriram

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 35 KB

english, 2012

35

Scalable and scope-bounded software verification inVarvel

Ivančić, Franjo, Balakrishnan, Gogul, Gupta, Aarti, Sankaranarayanan, Sriram, Maeda, Naoto, Imoto, Takashi, Pothengil, Rakesh, Hussain, Mustafa

Journal:

Automated Software Engineering

Year:

2015

Language:

english

File:

PDF, 1.46 MB

english, 2015

36

Foreword: Special issue on numerical software verification

Franjo Ivančić, Sriram Sankaranarayanan, Chao Wang

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 131 KB

english, 2009

37

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Induction in CEGAR for Detecting Counterexamples

Wang, Chao, Gupta, Aarti, Ivancic, Franjo

Year:

2007

Language:

english

File:

PDF, 284 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски